软件测试是为了发现错误而执行程序的过程。黑盒测试法主要根据( )来设计测试用例。